nondeterministic finite automata vs deterministic